. L O ] 1 5 Fe b 19 92 CONSTRUCTING STRONGLY EQUIVALENT NONISOMORPHIC MODELS FOR UNSUPERSTABLE
نویسنده
چکیده
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
منابع مشابه
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B
We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A
We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in [HT].
متن کاملConstructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
In this paper we prove a strong nonstructure theorem for κ(T )-saturated models of a stable theory T with dop. This paper continues the work started in [HT].
متن کاملThe Universality Spectrum of Stable Unsuperstable Theories
4 7 r e v i s i o n : 1 9 9 6 0 3 1 9 m o d i f i e d : 1 9 9 6 0 3 1 9 The Universality Spectrum of Stable Unsuperstable Theories By Menachem Kojman and Saharon Shelah† Mathematics Department, The Hebrew University of Jerusalem, Jerusalem ABSTRACT It is shown that if T is stable unsuperstable, and א1 < λ = cfλ < 2 א0 , or 20 < μ < λ = cfλ < μ0 then T has no universal model in cardinality λ, an...
متن کاملThe Steiner triple systems of order 19
Using an orderly algorithm, the Steiner triple systems of order 19 are classified; there are 11,084,874,829 pairwise nonisomorphic such designs. For each design, the order of its automorphism group and the number of Pasch configurations it contains are recorded; 2,591 of the designs are anti-Pasch. There are three main parts of the classification: constructing an initial set of blocks, the seed...
متن کامل